Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
471	Discovery in Hydrating Plaster Using Multiple Machine Learning Methods Judith E. Devaney, John G. Hagedorn National Institute of Standards and Technology, Gaithersburg MD, [removed], USA, {judith.devaney,john.hagedorn}@ Add to Reading List Source URL: math.nist.gov Language: English - Date: 2002-11-13 16:17:13 Computational statistics Theoretical computer science Algorithm Mathematical logic Supervised learning Statistical classification Classification rule Machine learning Statistics Artificial intelligence
472	COMP 3190 – Introduction to Artificial Intelligence Calendar Description: Principles of artificial intelligence; problem solving, knowledge representation and manipulation; the application of these principles to the so Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2007-11-06 12:31:11 Programming paradigms Reasoning Computational neuroscience Logic programming Problem solving Neural network Knowledge representation and reasoning Expert system Frame problem Artificial intelligence Science Knowledge
473	Microsoft Word - LERN49Rubric.doc Add to Reading List Source URL: www.mtsac.edu Language: English - Date: 2010-07-06 17:16:08 FO Finite model theory Decision theory Logic programming Computational statistics Dominance-based rough set approach Circumscription Applied mathematics Theoretical computer science Mathematics
474	1 Dynamic Processing Allocation in Video Daozheng Chen, Student Member, IEEE, Mustafa Bilgic, Lise Getoor, Member, IEEE, and David Jacobs, Member, IEEE, Abstract—Large stores of digital video pose severe computational Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-01-25 16:50:47 Mathematics Operations research Markov processes Machine learning Algorithm Mathematical logic Dynamic programming Hidden Markov model Markov chain Statistics Markov models Probability and statistics
475	Microsoft Word - RevisedFormulaReferenceSheet200609.doc Add to Reading List Source URL: mdk12.org Language: English - Date: 2006-11-16 16:14:50 Mathematical logic Operations research Equations How to Solve It Computational complexity theory Mathematics Problem Mathematical optimization
476	Cyclic Boolean CircuitsI Marc D. Riedel Electrical and Computer Engineering, University of Minnesota, Minneapolis, MN[removed]Jehoshua Bruck Electrical Engineering, California Institute of Technology, Pasadena, CA 91125 Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2009-12-08 07:18:20 Algebraic logic Logic in computer science Boolean algebra Computational complexity theory Electronic design automation Boolean circuit Circuit Canonical form Logic gate Theoretical computer science Applied mathematics Mathematics
477	1 Dynamic Processing Allocation in Video Daozheng Chen, Student Member, IEEE, Mustafa Bilgic, Lise Getoor, Member, IEEE, and David Jacobs, Member, IEEE, Abstract—Large stores of digital video pose severe computational Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-12-26 12:17:30 Mathematics Operations research Markov processes Machine learning Algorithm Mathematical logic Dynamic programming Hidden Markov model Markov chain Statistics Markov models Probability and statistics
478	Networks of Relations Thesis by Matthew Cook Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2005-06-09 03:53:09 Metalogic Complexity classes Mathematical logic Proof theory Structural complexity theory Reduction Petri net PP Decidability Theoretical computer science Computational complexity theory Mathematics
479	Time-Complexity of Multilayered DNA Strand Displacement Circuits Georg Seelig1 and David Soloveichik2 1 2 Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2010-02-02 19:19:52 Circuit complexity Circuit DNA computing Logic gate AC Theoretical computer science Applied mathematics Computational complexity theory
480	Faculty Candidate Talk: Wednesday, April 6, 2005, 4-5 p.m. 306 Soda “Reasoning about Reliability and Security Using Boolean Methods” Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2005-03-07 18:39:06 Electronic design automation Formal methods NP-complete problems Logic in computer science Model theory Uclid Boolean satisfiability problem Decision problem Satisfiability Theoretical computer science Mathematics Computational complexity theory

UPDATE